Nuprl Lemma : Rrframe_wf 0,22

locx:Id, L:Knd List. @loc: only members of L read x  Realizer 
latex


Definitionsx:AB(x), t  T, Realizer, @loc: only members of L read x, Prop, xt(x), x(s)
LemmasIdLnk wf, Id wf, fpf wf, decl-state wf, Knd wf, decl-type wf, unit wf

origin